TAGs: correct lens equation